Szabad csoport

A matematikában a G csoport szabad csoport, ha létezik egy olyan S részhalmaza G-nek, hogy G minden eleme pontosan egyféleképpen írható fel S elemeinek és azok inverzeinek véges szorzataként. (Az egyféleképp úgy értendő, hogy a st^-1 = su^-1ut^-1 jellegű „bővítésektől” eltekintünk.)

Egy kapcsolódó, de másmilyen fogalom a szabad Abel-csoport.